The linear-non-linear substitution 2-monad

on the effect of linear & non-linear texts on students comprehension and recalling

چکیده ندارد.

non-linear study of various slit shear walls in steel structures

seismic retrofit strategies have been developed in the past few decades following the introduction of new seismic provisions and the availability of advanced materials and methods. it can be observed that new approaches to deal with more lateral forces are more innovative and more energy absorbent. in line with this, there is a growing trend toward the use of steel shear walls as a system with ...

Non-Linear Analysis of Asymmetrical Eccentrically Stiffened FGM Cylindrical Shells with Non-Linear Elastic Foundation

In this paper, semi-analytical method for asymmetrical eccentrically stiffened FGM cylindrical shells under external pressure and surrounded by a linear and non-linear elastic foundation is presented. The proposed linear model is based on two parameter elastic foundation Winkler and Pasternak. According to the von Karman nonlinear equations and the classical plate theory of shells, strain-displ...

Quantitative Types for the Linear Substitution Calculus

Optimality and the Linear Substitution Calculus

We lift the theory of optimal reduction to a decomposition of the lambda calculus known as the Linear Substitution Calculus (LSC). LSC decomposes β-reduction into finer steps that manipulate substitutions in two distinctive ways: it uses context rules that allow substitutions to act “at a distance” and rewrites modulo a set of equations that allow substitutions to “float” in a term. We propose ...